Смотреть больше слов в «Русско-английском техническом словаре»
- квантор, используемый для характеризации предикатов не на всей области изменения данной предметной переменной, а на ее части, выделяемой нек-рым... смотреть
bounded quantifier
обме́жений ква́нтор